1. C++ Toolbox for Verified Computing I :
پدیدآورنده: by Ulrich Kulisch, Rolf Hammer, Matthias Hocks, Dietmar Ratz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algorithms.,Global analysis (Mathematics),Mathematics.
رده :
QA76
.
73
.
C153
B985
1995
2. Numerical Toolbox for Verified Computing I :
پدیدآورنده: by Ulrich Kulisch, Rolf Hammer, Dietmar Ratz, Matthias Hocks.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Mathematics.,Numerical analysis.
رده :
QA300
.
B985
1993
